GNU TeXmacs : A free , structured , wysiwyg and technical text
نویسنده
چکیده
There is a common belief that wysiwyg technical editors are not suited for editing structured texts and generating documents with a high typographical quality. In this paper, we analyze the reasons behind this belief. We next discuss the program GNU TEXmacs and some of its innovations in relation to the difficulties of structured, wysiwyg, technical text editing.
منابع مشابه
TeXmacs interfaces to Maxima, MuPAD and REDUCE
GNU TEXmacs is a free wysiwyg word processor providing an excellent typesetting quality of texts and formulae. It can also be used as an interface to Computer Algebra Systems (CASs). In the present work, interfaces to three general-purpose CASs have been implemented. 1 TEXmacs GNU TEXmacs [1] is a free (GPL) word processor which • typesets texts and mathematical formulae with very high quality ...
متن کاملTowards semantic mathematical editing
Currently, there exists a big gap between formal computer-understandable mathematics and informal mathematics, as written by humans. When looking more closely, there are two important subproblems: making documents written by humans at least syntactically understandable for computers, and the formal verification of the actual mathematics in the documents. In this paper, we will focus on the firs...
متن کاملA Document-Oriented Coq Plugin for TEXmacs
This article discusses the integration of the authoring of a mathematical document with the formalisation of the mathematics contained in that document. To achieve this we have started the development of a Coq plugin for the TEXmacs scientific editor, called tmEgg. TEXmacs allows the wysiwyg editing of mathematical documents, much in the style of LATEX. Our plugin allows to integrate into a TEX...
متن کاملTEXmacs as Authoring Tool for Formal Developments
We present an authoring tool for publication and dissemination of formal theories certified by a proof assistant. We have used TeXmacs, a ”wysiwyg” editor for scientific documents which allows a connection with symbolic systems and we evaluate this tool on our formal developments certified using Coq.
متن کاملMathematical Font Art
Currently, only a limited number of fonts are available for high quality mathematical typesetting, such as Knuth's computer modern font, the Stix font, and several fonts from the TEX Gyre family. An interesting challenge is to develop tools which allow users to pick any existing favorite font and to use it for writing mathematical texts. We will present progress on this problem as part of recen...
متن کامل